In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

Radical and autopoietic enactivists disagree concerning how to understand the concept of sense-making in enactivist discourse and the extent of its distribution within the organic domain. I situate this debate within a broader conflict of commitments to naturalism on the part of radical enactivists, and to phenomenology on the part of autopoietic enactivists. I argue that autopoietic enactivists are in part responsible for the obscurity of the notion of sense-making by attributing it univocally to sentient and non-sentient beings and following (...) Hans Jonas in maintaining a phenomenological dimension to life-mind continuity among all living beings, sentient or non-sentient. I propose following Merleau-Ponty instead, who offers a properly phenomenological notion of sense-making for which sentience is a necessary condition. Against radicalist efforts to replace sense-making with a deflationary, naturalist conception of intentionality, I discuss the role of the phenomenological notion of sense-making for understanding animal behavior and experience. (shrink)

This paper clarifies Merleau-Ponty’s distinction between speaking and spoken speech, and the relation between the two, in his Phenomenology of Perception. Against a common interpretation, I argue on exegetical and philosophical grounds that the distinction should not be understood as one between two kinds of speech, but rather between two internally related dimensions present in all speech. This suggests an interdependence between speaking and spoken aspects of speech, and some commentators have critiqued Merleau-Ponty for claiming a priority of speaking over (...) spoken speech. However, there is a sense in which Merleau-Ponty is right to emphasize the priority, namely, in terms of the ontological priority of the speaking subject with respect to language understood as a constituted cultural ideality. The latter only maintains its ontological status insofar as it is taken up by a language community. I favorably contrast Merleau-Ponty’s views on this question to those of the late Heidegger and de Saussure, and suggest potential applications of this clarified position for contemporary discussions in philosophy of language. (shrink)

Approaches to the naturalization of phenomenology usually understand naturalization as a matter of rendering continuous the methods, epistemologies, and ontologies of phenomenological and natural scientific inquiry. Presupposed in this statement of the problematic, however, is that there is an original discontinuity, a rupture between phenomenology and the natural sciences that must be remedied. I propose that this way of thinking about the issue is rooted in a simplistic understanding of the phenomenological reduction that entails certain assumptions about the subject matter (...) of phenomenology and its relationship to the natural sciences. By contrast, Merleau‐Ponty's first work, The Structure of Behavior, presents a radically different approach to the phenomenological reduction, one that traverses the natural sciences and integrates them into phenomenology from the outset. I outline the argument for this position in The Structure of Behavior and then discuss consequences for current methodological issues surrounding the naturalization of phenomenology, focusing on the relationship between empirical sciences of mind, phenomenological psychology, and transcendental phenomenology. This novel exegesis of Merleau‐Ponty's view on the reduction offers new insight into his oft‐quoted remark that the phenomenological reduction is impossible to complete. (shrink)

I have two objectives in this article. The first is methodological: I elaborate a minimal phenomenological method and attempt to show its importance in studies of infant behavior. The second objective is substantive: Applying the minimal phenomenological approach, combined with Meltzoff’s “like-me” developmental framework, I propose the hypothesis that infants learn the pointing gesture at least in part through imitation. I explain how developments in sensorimotor ability (posture, arm and hand control and coordination, and locomotion) in the first year of (...) life prepare the infant for acquiring the pointing gesture. The former may directly enable the latter by allowing the infant to experience its own body as being “like those” of others, thus allowing it to imitatively appropriate a broader range of adult behavior. My proposal emphasizes the embodiment of mind in the development of cognition, contrary to latent dualistic tendencies in some developmental literature. (shrink)

In this paper I develop a novel account of the phenomenality of language by focusing on characteristics of perceived speech. I explore the extent to which the spoken word can be said to have a horizonal structure similar to that of spatiotemporal objects: our perception of each is informed by habitual associations and expectations formed through past experiences of the object or word and other associated objects and experiences. Specifically, the horizonal structure of speech in use can fruitfully be compared (...) to that of a tool in use. The comparison suggests an account of our linguistic faculty as continuous with more foundational faculties of perception and action. I provide empirical corroboration of this account by drawing on recent neuroimaging studies of the multimodal, sensorimotor bases of speech comprehension. I then discuss how such an understanding of our linguistic ability helps advocates of embodied, non-representationalist accounts of cognition respond to a common objection. Critics grant that embodied approaches may be adequate to account for lower-level, online modes of cognition, such as perception and action, which directly engage their object. But they question whether such approaches can “scale up” to higher modes of cognition, such as imagination, memory, thought, and language, which can entertain absent, non-existent, or abstract objects. By providing a plausible account of the continuity of lower cognition and language-involving cognition, my approach responds to this objection, at least where language is concerned. (shrink)

This paper tracks the development of Merleau-Ponty's inquiries into language through the themes of institution, symbolism, and nature in his Collège de France lectures of 1953-1960. It seeks to show the continuity of Merleau-Ponty's inquiries over this period. The Problem of Speech course (1953-1954) constitutes his last extended treatment of speech, language, and expression, and it leaves many questions unanswered. Nonetheless, a careful study of the course reveals that the inquiries that follow into institution and symbolism, and later into nature, (...) do not mark a sharp rupture with his earlier thought. Rather, the later investigations are required by those into language and expression to clarify the underlying functions that support them. Ultimately, the themes of language and nature will be deeply interwoven in Merleau-Ponty's late thought, with institution and symbolism serving as important mediating concepts. (shrink)

This paper challenges the two aims of Michael Cholbi’s Rational Will View (RWV) which are to (1) offer an account of why paternalism is presumptively or pro tanto wrong and (2) relate the relative wrongness of paternalistic interventions to the rational powers that such interventions target (Sections 1 and 2). Some of a paternalizee’s choices harm their future selves in ways that would be wrong if they were done to others. I claim this challenges Cholbi’s second aim (2) because the (...) cases his account deems particularly wrong turn out to be not to be as wrongful as expected (Section 3). When this second aim is challenged, it has knock-on effects on the capacity of the RWV to discern which cases of paternalism are generally more wrongful than others, which undermines Cholbi’s first aim (1). I consider responses on behalf of Cholbi’s view but conclude that the account is insufficient on its own to vindicate its two aims (Section 4). Finally, I draw on recent work that adopts ideas from the practical reasoning literature to help determine paternalism’s wrongness (Section 5). I argue this helps Cholbi’s view withstand my objections, but we must remain skeptical of why interceding with rational powers is particularly wrong. (shrink)

Virtue ethics has now well and truly established itself as one of the main normative theories. It is now quite common, and indeed, expected, for virtue ethics to be included, alongside deontology and consequentialism, in any Moral Philosophy syllabus worth its salt. Students are typically introduced to virtue ethics only after studying the other two normative theories, and this often sets the scene for various sorts of misunderstandings, with students expecting virtue ethics to be based on the same set of (...) rules and assumptions as its rivals. Or at least, that is my experience. In this paper I want to focus on one such misunderstanding, which arises when trying to apply virtue ethics to our judgments of other people’s actions and behaviour. Although there are countless ways in which a theory can be misunderstood, it is worth guarding against this one in particular, given that it can lead someone who takes virtue ethics seriously to act in ways that are not virtuous, or even vicious. I begin by making a few remarks about the role of normative theory, and then go on to give four examples of how applying virtue ethics can lead to poor behaviour. In the final section I identify the mistake in question and conclude by noting how it can be avoided. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. A speaker (...) is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

This paper is intended as a gateway to two 2000-year-old manuscripts of the Analects. The first two sections discuss the archaeological context of the discoveries and analyse the manuscripts themselves, including characteristic features of the bamboo strips and the texts inked thereon and notable differences between these and other Analects versions. In these sections, I also critically evaluate present-day Analects studies and offer alternative hypotheses where there is room for debate. The third and final section of the paper discusses what (...) I consider the most fascinating (and most complex) issue regarding the manuscripts: their provenance. In that section, I examine when, where, and why the Analects was copied onto the bamboo strips. The ultimate goal of this paper is to present a nuanced understanding of the two bamboo manuscripts that conveys the fascinating insights they offer while also exploring the limitations of what these manuscripts can actually tell us. (shrink)

Political liberals ask citizens not to appeal to certain considerations, including religious and philosophical convictions, in political deliberation. We argue that political liberals must include a demanding requirement of intellectual modesty in their ideal of citizenship in order to motivate this deliberative restraint. The requirement calls on each citizen to believe that the best reasoners disagree about the considerations that she is barred from appealing to. Along the way, we clarify how requirements of intellectual modesty relate to moral reasons for (...) deliberative restraint. And we argue against attempts to weaken our requirement of intellectual modesty by emphasizing those moral reasons. (shrink)

31 The choice of human goals cannot be completely subjective, because 32 there are some (even ones that motivate many humans) that are simply 33 unintelligible as ultimate goals. For example, wealth is rational as an 34 intermediate goal, a means to achieving some further end, but it is simply 35 unintelligible to suggest that wealth is an ultimate goal in itself. Second, 36 we have seen that some things are reasonable to pursue as aspects of 37 our ultimate goals (...) (like prestige and pleasure), but they are conceptu- 38 ally dependent on some other goal to give them concrete form. In this 39 essay, I argue in favor of six candidates for ultimate goals. (shrink)

William Whewell’s 19th century philosophy of science is sometimes glossed over as a footnote to Kant. There is however a key feature of Whewell’s account worth noting. This is his appeal to Aristotle’s form/matter hylomorphism as a metaphor to explain how mind and world merge in successful scientific inquiry. Whewell’s hylomorphism suggests a middle way between rationalism and empiricism reminiscent of experience pragmatists like Steven Levine’s view that mind and world are entwined in experience. I argue however that Levine does (...) not adequately explain exactly how mind and world entwine. He could nonetheless do so if he appealed to Whewell’s hylomorphic metaphor. We may prefer a reductive metaphysical explanation, but I suggest that pragmatists only have recourse to metaphor in this case. Both reductive and metaphorical explanations can enjoy great explanatory power if they exhibit a suitable measure of what I will call sematic distance. Semantic distance measures how close or how far apart explanandum and explanans are from each other in meaning. Metaphorical explanation - as evident in Whewell’s hylomorphism and as detailed via the notion of semantic distance - presents a valuable new explanatory tool to those who hold that mind and world are entwined sans recourse to metaphysics. (shrink)

In this article I propose to understand inertia in art as a “disposition to meaning”. I compare inertia in art with that of a face of a person recently deceased. To acquaintances, i.e. to family and friends, it holds a promise of memories (of the deceased); to all the others the corpse offers the possibility of a projection of meanings. Art is made of plain, or extra-ordinary stuff, which is turned into artistic material. The artist is to bring the inert (...) potency of stuff to artistic life, and to turn it into something that is expressive. If she is successful, then the work will offer its audience a concentrated, absorbing experience. Art is autonomous in that the aimed for experience is morally neutral. In the view of many contemporary artists, such experiences fail art’s deeper significance: absorbing experiences are, simply, too easy. If artists want to really move the audience (to emotion), or so they feel, they should also move the audience into action. Wanting to achieve this is not just difficult; it is a paradox. (shrink)

I identify two versions of the scientific anti-realist’s selectionist explanation for the success of science: Bas van Fraassen’s original and K. Brad Wray’s newer interpretation. In Wray’s version, psycho-social factors internal to the scientific community – viz. scientists’ interests, goals, and preferences – explain the theory-selection practices that explain theory-success. I argue that, if Wray’s version were correct, then science should resemble art. In art, the artwork-selection practices that explain artwork-success appear faddish. They are prone to radical change over time. (...) Theory-selection practices that explain theory-success in science are however not faddish. They are mostly stable; that is, long-lived and consistent over time. This is because scientists (explicitly or implicitly) subscribe to what I will call the testability norm: scientific theories must make falsifiable claims about the external physical world. The testability norm and not psycho-sociology explains the theory-selection practices that explain theory-success in science. Contra Wray, scientific anti-realists can then maintain that the external physical world (as expressed in the testability norm) explains theory-success. (shrink)

Jill de Villiers has argued that children's mastery of sentential complements plays a crucial role in enabling them to succeed at false-belief tasks. Josef Perner has disputed that and has argued that mastery of false-belief tasks requires an understanding of the multiplicity of perspectives. This paper attempts to resolve the debate by explicating attributions of desires and beliefs as extensions of the linguistic practices of making commands and assertions, respectively. In terms of these linguistic practices one can explain why desire-talk (...) will precede belief-talk and why even older children will have difficulty attributing incompatible desires. (shrink)

This essay argues that there are theoretical benefits to keeping distinct—more pervasively than the literature has done so far—the psychological states of imagining that p versus believing that in-the-story p, when it comes to cognition of fiction and other forms of narrative. Positing both in the minds of a story’s audience helps explain the full range of reactions characteristic of story consumption. This distinction also has interesting conceptual and explanatory dimensions that haven’t been carefully observed, and the two mental state (...) types make distinct contributions to generating emotional responses to stories. Finally, the differences between the mental states illuminate how a given story can be both shared with others and at the same time experienced as personal. (shrink)

In an earlier issue, I argue (2014) that psychology and epistemology should distinguish religious credence from factual belief. These are distinct cognitive attitudes. Levy (2017) rejects this distinction, arguing that both religious and factual “beliefs” are subject to “shifting” on the basis of fluency and “intuitiveness.” Levy’s theory, however, (1) is out of keeping with much research in cognitive science of religion and (2) misrepresents the notion of factual belief employed in my theory. So his claims don’t undermine my distinction. (...) I conclude by suggesting some approaches to empirically testing our views. (shrink)

We argue that knowledge is not the norm of belief given that ‘I believe’ is used to hedge. We explore the consequences of this argument for the normative relationship between belief and assertion.

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

Several complexity theorists draw a sharp and ontologically robust distinction between (merely) complicated systems and (genuinely) complex systems. I argue that this distinction does not hold. Upon fine-grained analysis, ostensibly complicated systems turn out to be complex systems. The purported boundary between the complicated and the complex appears to be vague rather than sharp. Systems are complex by degrees.

I raise the question of what cognitive attitude self-deception brings about. That is: what is the product of self-deception? Robert Audi and Georges Rey have argued that self-deception does not bring about belief in the usual sense, but rather “avowal” or “avowed belief.” That means a tendency to affirm verbally (both privately and publicly) that lacks normal belief-like connections to non-verbal actions. I contest their view by discussing cases in which the product of self-deception is implicated in action in a (...) way that exemplifies the motivational role of belief. Furthermore, by applying independent criteria of what it is for a mental state to be a belief, I defend the more intuitive view that being self-deceived that p entails believing that p. Beliefs (i) are the default for action relative to other cognitive attitudes (such as imagining and hypothesis) and (ii) have cognitive governance over the other cognitive attitudes. I explicate these two relations and argue that they obtain for the product of self-deception. (shrink)

[OPEN ACCESS TARGET ARTICLE WITH COMMENTARIES AND RESPONSE] We develop a new model of how human agency-detection capacities and other socio-cognitive biases are involved in forming religious beliefs. Crucially, we distinguish general religious beliefs (such as *God exists*) from personal religious beliefs that directly refer to the agent holding the belief or to her peripersonal time and space (such as *God appeared to _me_ last night*). On our model, people acquire general religious beliefs mostly from their surrounding culture; however, people (...) use agency-intuitions and other low-level experiences to form personal religious beliefs. We call our model the Interactive Religious Experience Model (IREM). IREM inverts received versions of Hyperactive Agency-Detection Device Theory (HADD Theory): instead of saying that agency-intuitions are major causes of religious belief in general, IREM says that general belief in supernatural agents causes people to seek situations that trigger agency-intuitions and other experiences, since these enable one to form personal beliefs about those agents. In addition to developing this model, we (1) present empirical and conceptual difficulties with received versions of HADD Theory, (2) explain how IREM incorporates philosophical work on indexical belief, (3) relate IREM to existing anthropological and psychological research, and (4) propose future empirical research programs based on IREM. (shrink)

Precision Medicine is driven by the idea that the rapidly increasing range of relatively cheap and efficient self-tracking devices make it feasible to collect multiple kinds of phenotypic data. Advocates of N = 1 research emphasize the countless opportunities personal data provide for optimizing individual health. At the same time, using biomarker data for lifestyle interventions has shown to entail complex challenges. In this paper, we argue that researchers in the field of precision medicine need to address the performative dimension (...) of collecting data. We propose the fun-house mirror as a metaphor for the use of personal health data; each health data source yields a particular type of image that can be regarded as a ‘data mirror’ that is by definition specific and skewed. This requires competence on the part of individuals to adequately interpret the images thus provided. (shrink)

In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old, and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity, and privacy. -/- As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? What (...) theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? -/- The essays in this collection by researchers from both humanities and science describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility, and accurately modeling essential physician-machine-patient relationships. -/- This collection is the first book to address these 21st-century concerns. (shrink)

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call the (...) figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

Aquinas’s account of the human soul is the key to his theory of human nature. The soul’s nature as the substantial form of the human body appears at times to be in tension with its nature as immaterial intellect, however, and nowhere is this tension more evident than in Aquinas’s discussion of the ‘separated’ soul. In this paper I use the Biblical story of the rich man and Lazarus (which Aquinas took to involve actual separated souls) to highlight what I (...) will call the Two-Person Problem facing his account of human identity through death and the bodily resurrection. Aquinas claims that the rational soul is neither the human being nor the human person. When the rich man’s soul says “I am in agony,” then, what is the referent of “I?” It appears that there is a human person, ‘Dives,’ who is replaced at Dives’s death by the person ‘Dives’s soul,’ who is in turn replaced at the bodily resurrection by ‘Dives,’ whom Aquinas claims is numerically identical to the original person. But this seems hopeless as an identity-preserving account of human nature. I believe that Aquinas’s account of human nature does not, as it stands, possess the resources with which to overcome this difficulty; I conclude that reconstructing a(n otherwise) Thomistic account that involves immediate bodily resurrection, although a radical approach, is the one best suited to preserving the most essential features of Aquinas’s theory. (shrink)

Paul Cilliers has developed a novel post-structural approach to complexity that has influenced several writers contributing to the current complexity literature. Concomitantly however, Cilliers advocates for modelling complex systems using connectionist neural networks (rather than analytic, rule-based models). In this paper, I argue that it is dilemmic to simultaneously hold these two positions. Cilliers’ post-structural interpretation of complexity states that models of complex systems are always contextual and provisional; there is no exclusive model of complex systems. This sentiment however appears (...) at odds with Cilliers’ promotion of connectionist neural networks as the best way to model complex systems. The lesson is that those who currently follow Cilliers’ post-structural approach to complexity cannot also develop a preferred model of complex systems, and those who currently advocate for some preferred model of complex systems cannot adopt the post-structural approach to complexity without giving up the purported objectivity and/or superiority of their preferred model. (shrink)

Galileo proposed what has been called a proto-inertial principle, according to which a body un horizontal motion will conserve its motion. This statement is only true in counterfactual circumstances where no impediments are present. This paper analyzes how Galileo could have been justified in ascribing definite properties to this idealized motion. This analysis is then used to better understand the relation of Galileo’s proto-inertial principle to the classical inertial principle.

Are psychiatric disorders natural kinds? This question has received a lot of attention within present-day philosophy of psychiatry, where many authors debate the ontology and nature of mental disorders. Similarly, historians of psychiatry, dating back to Foucault, have debated whether psychiatric researchers conceived of mental disorders as natural kinds or not. However, historians of psychiatry have paid little to no attention to the influence of (a) theories within logic, and (b) theories within metaphysics on psychiatric accounts of proper method, and (...) on accounts of the nature and classification of mental disorders. Historically, however, logic and metaphysics have extensively shaped methods and interpretations of classifications in the natural sciences. This paper corrects this lacuna in the history of psychiatry, and demonstrates that theories within logic and metaphysics, articulated by Christian Wolff (1679-1754), have significantly shaped the conception of medical method and (psychiatric) nosology of the influential nosologist Boissier De Sauvages (1706-1767). After treating Sauvages, I discuss the method of the influential nosologist William Cullen (1710-1790), and demonstrate the continuity between the classificatory methods of Sauvages and Cullen. I show that both Sauvages and Cullen were essentialists concerning medical diseases in general and psychiatric disorders in particular, contributing to the history of conceptions of the ontology and nature of mental disorders. (shrink)

This paper adds to the philosophical literature on mechanistic explanation by elaborating two related explanatory functions of idealisation in mechanistic models. The first function involves explaining the presence of structural/organizational features of mechanisms by reference to their role as difference-makers for performance requirements. The second involves tracking counterfactual dependency relations between features of mechanisms and features of mechanistic explanandum phenomena. To make these functions salient, we relate our discussion to an exemplar from systems biological research on the mechanism for countering (...) heat shock—the heat shock response system—in Escherichia coli bacteria. This research also reinforces a more general lesson: ontic constraint accounts in the literature on mechanistic explanation provide insufficiently informative normative appraisals of mechanistic models. We close by outlining an alternative view on the explanatory norms governing mechanistic representation. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

A traditional problem with the performative hypothesis is that it cannot assign proper truth-conditions to a declarative sentence. This paper shows that the problem is solved by adopting a multidimensional semantics on which sentences have more than just truth-conditions. This is good news for those who want to at least partially revive the hypothesis. The solution also brings into focus a lesson about what issues to consider when drawing the semantics/pragmatics boundary.

Virtue ethics is frequently billed as a remedy to the problems of deontological and consequentialist ethics that Bernard Williams identified in his critique of “the morality system.” But how far can virtue ethics be relied upon to avoid these problems? What does Williams’s critique of the morality system mean for virtue ethics? To answer this question, we offer a more principled characterisation of the defining features of the morality system in terms of its organising ambition—to shelter life against luck. This (...) reveals the system to be multiply realisable: the same function can be served by substantively different but functionally equivalent ideas. After identifying four requirements that ethical thought must meet to function as a morality system, we show that they can also be met by certain constellations of virtue-ethical ideas. We thereby demonstrate the possibility of virtue-ethical morality systems raising problems analogous to those besetting their deontological and consequentialist counterparts. This not only widens the scope of Williams’s critique and brings out the cautionary aspect of his legacy for virtue ethics. It also offers contemporary virtue ethicists a more principled understanding of the functional features that mark out morality systems and lie at the root of their problems, thereby helping them to avoid or overcome these problems. (shrink)

Unlike other sources of evidence like perception and memory, testimony is intimately related to natural language. That intimacy cannot be overlooked. In this chapter, I show how cross-linguistic considerations are relevant to the epistemology of testimony. I make my case with declaratives containing grammaticalized evidentials. My discussion has a negative and a positive part. For the negative part, it is argued that some definitions of testimony are mistaken because they do not apply to testimony offered by a declarative containing an (...) evidential. The positive component discusses a new puzzle noted by McCready (2015) that evidentials raise about the justificatory status of testimony-based beliefs. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

Đất đai cần được nhận diện như một đối tượng của tham nhũng để có biện pháp phòng chống tương xứng. Ai được hỏi tính hợp lý của dự án? Ai được hỏi giá đất đền bù bao nhiêu là hợp lý, rồi việc thu hồi, mua bán có làm lợi cho quan chức nào? Khi từng thông tin trên phải được công bố, cơ chế giám sát rõ thì nguồn lực của nhà nước được bảo toàn và người dân (...) cũng được lợi. (shrink)

Artificial Intelligence (AI) is increasingly adopted in society, creating numerous opportunities but at the same time posing ethical challenges. Many of these are familiar, such as issues of fairness, responsibility and privacy, but are presented in a new and challenging guise due to our limited ability to steer and predict the outputs of AI systems. This chapter first introduces these ethical challenges, stressing that overviews of values are a good starting point but frequently fail to suffice due to the context (...) sensitivity of ethical challenges. Frequently, additional (ethical) values emerge for specific applications, as e.g. challenges with fraud detection are very different from those around language technologies. Second, methods to tackle these challenges are discussed. Main ethical theories (virtue ethics, consequentialism, and deontology) are shown to provide a starting point, but often lack the details needed for actionable AI Ethics. Instead, mid-level philosophical theories coupled to design-approaches such as Design for Values, together with interdisciplinary working methods, offer the best way forwards. The chapter aims to show how these approaches can lead to an ethics of AI that is actionable and that can be proactively integrated in the design of AI systems. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, ML (...) may lead to AI systems adapting in ways that ‘disembody’ the values embedded in them. To address this, we propose a threefold modified VSD approach: 1) integrating a known set of VSD principles (AI4SG) as design norms from which more specific design requirements can be derived; 2) distinguishing between values that are promoted and respected by the design to ensure outcomes that not only do no harm but also contribute to good; and 3) extending the VSD process to encompass the whole life cycle of an AI technology in order to monitor unintended value consequences and redesign as needed. We illustrate our VSD for AI approach with an example use case of a SARS-CoV-2 contact tracing app. (shrink)